- частичный предикат
- partial predicate мат.
Русско-английский научно-технический словарь Масловского. 2015.
частичный предикат
Look at other dictionaries:
АЛГОРИТМ ЛОКАЛЬНЫЙ — алгоритм, устанавливающий свойства элементов множества и использующий на каждом шаге при этом только информацию об окрестности элемента. В терминах А. л. естественно формулируются и решаются задачи о существовании или несуществовании эффективных… … Математическая энциклопедия
Конт Auguste — (Comte) основатель позитивизма, род. 19 го января 1798 г. в Монпелье, где отец его был сборщиком податей. В лицее особенно успевал в математике. Поступив в политехническую школу, он удивлял профессоров и товарищей своим умственным развитием. В… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… … Философская энциклопедия
МАЙМОН — (Maimon) Соломон (род. 1753, Несвиж, Литва – ум. 22 нояб. 1800, Нидер Зигерсдорф, Силезия) – евр. философ; в Берлине пользовался покровительством Моисея Мендельсона. Своей остроумной критикой Канта он подготовил то понимание Канта, которое мы… … Философская энциклопедия
МОДЕЛЕЙ ТЕОРИЯ — раздел математической логики, изучающий математические модели. Начало М. т. относится к 30 м гг. 20 в., когда были доказаны следующие две основные теоремы. Теорема 1 (теорема Гёделя Мальцева). Если каждая конечная подсовокупность совокупности… … Математическая энциклопедия
Позитивизм Огюста Конта — Эта статья должна быть полностью переписана. На странице обсуждения могут быть пояснения. Позитивизм Огюста Конта первая волна позитивизма, направления в филос … Википедия
Философия Огюста Конта — Основная статья: Конт, Огюст Математика, занимающаяся определением неизвестных величин через соотношение их с известными, разделяется на абстрактную, или учение о числах вообще, и конкретную, занимающуюся уравнениями в области пространственных… … Википедия
эпистемическая логика — ЭПИСТЕМИЧЕСКАЯ ЛОГИКА ветвь модальной логики. В широком понимании ее задачей (как и доксастической логики при таком же понимании) является анализ сложно подчиненных предложений с придаточными, вводимыми союзом «что» и глаголами главного… … Энциклопедия эпистемологии и философии науки
